Boolean Localization, in Practice
نویسندگان
چکیده
A new proof of the existence of the standard closed model structure for the category of simplicial presheaves on an arbitrary Grothendieck site is given. This proof uses the principle of Boolean localization. 1991 Mathematics Subject Classi cation: Primary 55U10, secondary 18F20, 55U35.
منابع مشابه
Localization of Aellenia subaphylla C.A.Mey. plantation in winter rangelands of Golestan province, Iran
The aim of localization of rangeland species plantation is to predict the potentials and limitations of rangelands for plantation. Aellenia subaphylla is resistant to drought and salinity. It produces considerable forage in winter rangelands. In this research, the geographic information system and two methods of classic and fuzzy logic were used to locate this species in winter rangelands of Go...
متن کاملDistance Dependent Localization Approach in Oil Reservoir History Matching: A Comparative Study
To perform any economic management of a petroleum reservoir in real time, a predictable and/or updateable model of reservoir along with uncertainty estimation ability is required. One relatively recent method is a sequential Monte Carlo implementation of the Kalman filter: the Ensemble Kalman Filter (EnKF). The EnKF not only estimate uncertain parameters but also provide a recursive estimat...
متن کاملSheaf-Theoretic Representation of Quantum Measure Algebras
We construct a sheaf-theoretic representation of quantum probabilistic structures, in terms of covering systems of Boolean measure algebras. These systems coordinatize quantum states by means of Boolean coefficients, interpreted as Boolean localization measures. The representation is based on the existence of a pair of adjoint functors between the category of presheaves of Boolean measure algeb...
متن کاملOmega-almost Boolean rings
In this paper the concept of an $Omega$- Almost Boolean ring is introduced and illistrated how a sheaf of algebras can be constructed from an $Omega$- Almost Boolean ring over a locally Boolean space.
متن کاملFilter theory in MTL-algebras based on Uni-soft property
The notion of (Boolean) uni-soft filters in MTL-algebras is introduced, and several properties of them are investigated. Characterizations of (Boolean) uni-soft filters are discussed, and some (necessary and sufficient) conditions for a uni-soft filter to be Boolean are provided. The condensational property for a Boolean uni-soft filter is established.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014